Skip to content

Grammar edits, move paragraph, removed div in docs.php#1902

Merged
derickr merged 3 commits into
php:masterfrom
pwright64:patch-1
Jun 16, 2026
Merged

Grammar edits, move paragraph, removed div in docs.php#1902
derickr merged 3 commits into
php:masterfrom
pwright64:patch-1

Conversation

@pwright64

Copy link
Copy Markdown
Contributor

Swapped order of the "translation disclaimer/contribution" paragraph and the list of languages to make page easier to navigate. Also, cleaned up language in the paragraph. Also, removed unnecessary div surrounding first two paragraphs. Styles are identical, could not determine any reason for them to be in their own div.

Swapped order of the "translation disclaimer/contribution" paragraph and the list of languages to make page easier to navigate. Also, cleaned up language in the paragraph. Also, removed unnecessary div surrounding first two paragraphs. Styles are identical, could not determine any reason for them to be in their own div.
added spaces in title to match how page is titled on docs.php. Multiple small grammar fixes.
Comment thread urlhowto.php Outdated
removed paragraph about mirrors
@derickr derickr merged commit 269c7ce into php:master Jun 16, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants